﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Pex.Framework;

namespace MicroBenchmarks.WifeHusband
{
    [PexClass]
    public partial class WifeHusbandTest
    {
        [PexMethod]
        [PexMe.Attribute.FieldAccessObserver]
        [PexMe.Attribute.InsufficientObjectFactoryObserver]
        public void WifeHusbandPUT([PexAssumeUnderTest]Father f)
        {
            f.IsSelfGood();
        }
    }
}
